Skip to content

Say the mkdir the regeneration command needs - #47

Merged
zmaril merged 1 commit into
mainfrom
fix-catalog-regeneration-path
Aug 26, 2026
Merged

Say the mkdir the regeneration command needs#47
zmaril merged 1 commit into
mainfrom
fix-catalog-regeneration-path

Conversation

@zmaril

@zmaril zmaril commented Aug 25, 2026

Copy link
Copy Markdown
Contributor

Follow-up to #43, found by running its documented command on a fresh checkout of
merged main rather than by re-reading it.

The catalog is not committed and git does not track an empty directory, so
infact-packs/rust-std/api/ is absent after a clone — and infact catalog --output does not create the path it is given. The command in the README
therefore fails in exactly the situation it exists for:

$ infact catalog "$J/core.json" --package core --version "$V" \
      --output "infact-packs/rust-std/api/core-$V.json"
error: No such file or directory (os error 2)

which names neither the path nor the reason.

One line of fix and a sentence saying why it is there, so nobody deletes it as
noise. Verified after: the catalog builds, git status stays clean, and the
scan finds 30 slice::is_sorted and 11 all_unique on the CodeNet corpus.

The alternative — having --output create parent directories — is arguably the
better fix and would help every pack-building path, not just this one. Left
alone here because it changes CLI behaviour and this is a documentation bug.

The catalog is not committed and git does not track an empty directory, so
`infact-packs/rust-std/api/` is absent on a fresh checkout — and `--output` does
not create the path it is given. The documented command therefore failed on the
one machine state it exists for, with a bare `No such file or directory` that
names neither the path nor the reason.

Found by running it on a fresh checkout of merged main rather than by reading it.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017ghYbUJFcVfkKYacbTVJsR
@zmaril
zmaril merged commit 5f9bb21 into main Aug 26, 2026
@zmaril
zmaril deleted the fix-catalog-regeneration-path branch August 26, 2026 16:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant